1 : (
    * #
        where e implements J,
)*
l